Skip to content
This repository has been archived by the owner on Nov 20, 2024. It is now read-only.

allow dynamic locals #1594

Merged
merged 1 commit into from
May 31, 2019
Merged

allow dynamic locals #1594

merged 1 commit into from
May 31, 2019

Conversation

pq
Copy link
Member

@pq pq commented May 31, 2019

@pq pq mentioned this pull request May 31, 2019
Closed
@coveralls
Copy link

Coverage Status

Coverage increased (+0.002%) to 96.782% when pulling 5853b3a on allow_dynamic_locals into ee60bf5 on master.

@pq pq merged commit 00a20d0 into master May 31, 2019
@pq pq deleted the allow_dynamic_locals branch May 31, 2019 23:31
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@bwilkerson bwilkerson bwilkerson approved these changes

Assignees
No one assigned
Labels
cla: yes
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

omit_local_variable_types conflicts with --no-implicit-dynamic
4 participants
@pq @coveralls @bwilkerson @googlebot